4006,4006,4006,4005,4005,4005,4004,4004,4004,4003,4003,4003,4003,4003,4002,4002,4001,4001,4001,4001,4000,4000,4000,4000,4001,4001,4002,4002,4003,4003,4004,4005,4006,4006,4008,4009,4011,4011,4012,4013,4013,4014,4015,4015,4017,4018,4020,4021,4022,4023,4024,4025,4026,4027,4028,4028,4029,4030,4030,4031,4032,4032,4033,4035,4036,4037,4038,4038,4040,4040,4040,4039,4037,4035,4030,4026,4020,4017,4015,4013,4011,4009,4008,4004,4003,4001,4000,3999,3999,3997,3995,3993,3989,3987,3986,3986,3986,3988,3992,3996,3999,4002,4003,4004,4005,4007,4007,4007,4007,4007,4007,4006,4006,4006,4009,4010,4015,4017,4020,4022,4023,4025,4027,4029,4031,4036,4039,4041,4043,4047,4049,4051,4055,4058,4059,4060,4062,4062,4062,4062,4061,4059,4058,4055,4052,4051,4050,4049,4048,4044,4044,4043,4043,4042,4041,4041,4040,4040,4040,4040,4041,4043,4045,4047,4051,4053,4055,4057,4058,4059,4065,4066,4067,4070,4072,4073,4075,4076,4078,4079,4080,4080,4081,4083,4083,4085,4085,4085,4084,4084,4084,4084,3701,3701,3701,3701,3701,3701,3702,3702,3702,3703,3703,3703,3704,3704,3705,3705,3707,3711,3712,3713,3714,3714,3715,3716,3716,3717,3718,3718,3718,3717,3715,3713,3711,3709,3708,3707,3706,3705,3704,3703,3700,3698,3696,3694,3693,3691,3688,3687,3685,3683,3682,3680,3679,3679,3678,3678,3678,3678,3680,3681,3683,3683,3683,3684,3685,3685,3685,3685,3681,3679,3678,3677,3674,3673,3670,3668,3665,3663,3651,3649,3646,3645,3645,3643,3641,3641,3642,3642,3642,3642,3642,3642,3641,3641,3640,3640,3639,3639,3639,3638,3638,3638,3637,3637,3637,3636,3636,3636,3636,3636,3636,3636,3636,3637,3638,3639,3640,3641,3642,3643,3644,3645,3646,3647,3648,3649,3650,3651,3652,3653,3654,3655,3657,3658,3659,3660,3662,3663,3664,3665,3665,3666,3666,3667,3667,3669,3669,3668,3668,3668,3669,3670,3670,3671,3670,3670,3670,3669,3669,3669,3669,3669,3670,3670,3671,3671,3672,3672,3672,3672,3672,3672,3672,3671,3670,3669,3668,3667,3666,3665,3665,3664,3664,3664,3665,3666,3667,3668,3669,3669,3670,3670,3671,3671,3672,3672,3672,3672,3671,3671,3670,3669,3668,3667,3667,3666,3666,3667,3667,3668,3669,3670,3670,3671,3671,3672,3672,3673,3673,3674,3674,3675,3675,3676,3676,3677,3677,3678,3679,3680,3680,3681,3681,3682,3682,3683,3684,3685,3686,3686,3687,3688,3689,3690,3690,3691,3692,3693,3694,3695,3696,3696,3697,3697,3698,3698,3699,3700,3701,3701,3702,3702,3702,3703,3703,3703,3704,3704,3705,3705,3705,3706,3706,3706,3707,3707,3708,3709,3710,3711,3711,3712,3713,3714,3714,3715,3715,3716,3717,3719,3719,3720,3720,3721,3723,3725,3726,3727,3728,3730,3732,3734,3735,3736,3737,3739,3741,3742,3743,3744,3745,3746,3746,3747,3748,3750,3751,3752,3753,3754,3757,3758,3758,3759,3759,3760,3761,3762,3763,3764,3765,3766,3766,3767,3769,3771,3772,3773,3774,3775,3776,3777,3778,3779,3779,3780,3781,3782,3783,3784,3785,3786,3786,3787,3788,3789,3790,3790,3791,3792,3793,3794,3795,3796,3797,3798,3797,3797,3796,3796,3795,3795,3794,3794,3794,3794,3794,3794,3795,3797,3797,3798,3798,3798,3799,3799,3799,3798,3797,3796,3795,3794,3793,3792,3791,3790,3790,3790,3790,3790,3791,3791,3792,3792,3793,3794,3795,3796,3797,3798,3799,3801,3802,3803,3804,3805,3806,3807,3808,3809,3810,3811,3811,3812,3812,3811,3810,3809,3808,3808,3807,3807,3808,3809,3810,3811,3811,3812,3812,3813,3814,3812,3811,3809,3808,3807,3805,3803,3802,3801,3801,3800,3800,3799,3799,3800,3801,3802,3803,3804,3805,3806,3806,3807,3808,3808,3809,3810,3811,3812,3809,3808,3807,3805,3804,3803,3802,3801,3800,3799,3799,3799,3799,3799,3799,3800,3801,3802,3803,3789,3788,3787,3786,3785,3784,3783,3782,3781,3780,3779,3779,3777,3776,3775,3774,3773,3772,3771,3770,3769,3768,3767,3766,3765,3764,3763,3762,3762,3761,3760,3760,3760,3760,3761,3762,3762,3762,3761,3761,3761,3761,3761,3762,3762,3762,3763,3764,3765,3766,3766,3766,3766,3765,3764,3764,3764,3765,3766,3767,3768,3769,3770,3771,3772,3774,3775,3776,3776,3777,3778,3779,3780,3781,3782,3782,3783,3784,3785,3786,3787,3788,3789,3790,3791,3791,3792,3793,3795,3796,3796,3797,3798,3798,3800,3801,3802,3802,3803,3804,3805,3806,3806,3806,3805,3805,3805,3804,3804,3803,3803,3804,3804,3805,3806,3807,3808,3808,3809,3810,3811,3812,3813,3814,3815,3816,3817,3818,3819,3820,3821,3822,3823,3825,3828,3830,3831,3832,3833,3834,3835,3836,3837,3838,3839,3840,3841,3842,3843,3845,3846,3847,3849,3850,3850,3851,3852,3853,3853,3854,3855,3855,3856,3857,3858,3858,3870,3870,3870,3871,3872,3873,3874,3875,3875,3876,3877,3878,3878,3879,3880,3881,3882,3883,3883,3884,3884,3885,3886,3887,3888,3889,3890,3891,3892,3893,3894,3895,3896,3897,3898,3899,3900,3901,3902,3903,3904,3905,3906,3907,3908,3909,3911,3912,3913,3914,3915,3915,3916,3917,3918,3919,3920,3921,3922,3923,3924,3925,3925,3925,3924,3924,3923,3923,3922,3921,3920,3919,3918,3917,3917,3916,3915,3914,3913,3913,3912,3911,3910,3909,3908,3907,3906,3905,3904,3903,3901,3900,3899,3899,3898,3897,3896,3895,3894,3893,3892,3891,3890,3890,3889,3888,3887,3886,3886,3885,3884,3883,3882,3881,3880,3879,3879,3878,3877,3876,3875,3874,3873,3873,3872,3871,3870,3870,3869,3869,3869,3869,3869,3869,3869,3870,3870,3870,3858,3857,3856,3856,3855,3855,3854,3854,3853,3853,3852,3852,3852,3851,3851,3851,3850,3850,3849,3849,3848,3848,3847,3846,3846,3845,3844,3844,3843,3842,3842,3841,3840,3840,3839,3839,3839,3839,3839,3838,3837,3836,3835,3834,3832,3831,3830,3830,3829,3829,3828,3828,3827,3826,3825,3824,3823,3822,3821,3821,3820,3819,3818,3817,3817,3816,3815,3814,3813,3812,3811,3810,3809,3808,3807,3807,3806,3805,3804,3803,3802,3801,3800,3799,3798,3797,3797,3796,3796,3796,3795,3795,3794,3793,3792,3791,3791,3791,3791,3791,3791,3790,3790,3789,3803,3803,3804,3805,3806,3807,3808,3808,3809,3809,3810,3810,3810,3811,3811,3811,3811,3810,3809,3812,3814,3815,3816,3817,3818,3819,3821,3822,3823,3824,3825,3826,3827,3827,3828,3829,3830,3831,3832,3833,3834,3835,3835,3836,3836,3836,3837,3837,3838,3839,3839,3840,3840,3840,3840,3840,3839,3839,3838,3837,3836,3835,3834,3832,3830,3829,3828,3827,3826,3825,3824,3824,3823,3822,3820,3819,3819,3818,3817,3816,3815,3814,3813,3812,3814,3817,3818,3819,3820,3821,3822,3822,3823,3824,3826,3827,3828,3831,3832,3833,3834,3836,3837,3839,3840,3842,3844,3845,3846,3848,3849,3852,3854,3855,3856,3857,3858,3859,3860,3861,3862,3863,3864,3865,3867,3868,3869,3870,3871,3872,3873,3874,3875,3876,3877,3878,3879,3880,3881,3883,3884,3885,3886,3887,3888,3889,3890,3891,3892,3893,3894,3895,3896,3897,3898,3899,3901,3902,3903,3904,3905,3906,3907,3908,3909,3910,3912,3913,3914,3915,3916,3917,3918,3919,3920,3920,3920,3921,3921,3920,3919,3918,3917,3916,3915,3915,3914,3913,3912,3911,3910,3909,3909,3909,3910,3911,3912,3913,3914,3915,3916,3917,3918,3919,3920,3920,3921,3922,3923,3924,3925,3926,3927,3928,3929,3930,3931,3932,3933,3934,3935,3936,3937,3938,3939,3940,3941,3941,3942,3943,3944,3944,3945,3945,3946,3947,3947,3948,3949,3950,3951,3952,3953,3954,3955,3956,3957,3958,3959,3960,3961,3961,3962,3963,3965,3966,3967,3968,3969,3970,3971,3972,3973,3974,3975,3977,3978,3979,3980,3983,3984,3986,3987,3988,3989,3990,3991,3992,3993,3995,3996,3998,3999,4002,4004;448,446,444,443,442,441,440,439,438,437,436,435,434,432,432,431,429,428,427,426,426,424,423,421,420,419,418,417,416,415,413,412,411,410,409,408,404,403,402,401,400,399,399,398,396,394,393,390,389,388,386,385,384,383,382,381,380,379,378,378,376,375,374,371,369,367,365,364,359,358,355,352,350,348,345,342,337,335,333,332,329,327,325,319,316,313,309,307,305,303,301,299,295,292,289,286,283,281,276,272,269,266,264,262,259,256,247,245,242,240,237,232,229,227,221,219,204,202,198,197,195,193,191,188,186,181,177,175,171,163,156,145,134,125,122,120,116,113,105,103,101,97,95,92,88,85,84,82,80,76,75,73,72,70,67,65,64,62,60,59,58,55,53,51,47,47,49,48,47,45,36,33,32,29,27,26,24,22,21,19,17,16,15,13,11,9,8,6,4,3,1,0,0,7,9,11,14,17,20,22,23,24,26,27,29,31,32,34,37,47,50,53,55,57,59,61,64,68,72,76,79,84,90,93,96,100,104,106,108,111,113,114,116,118,119,120,122,123,124,125,126,130,131,134,135,137,139,141,144,149,152,154,158,160,161,171,177,180,182,184,198,202,204,210,215,217,220,223,225,227,259,264,273,278,281,285,301,304,312,316,319,324,329,331,334,336,339,341,343,345,347,348,349,353,358,360,362,365,366,367,369,370,372,374,380,380,381,381,381,381,381,381,381,381,381,381,382,382,382,383,383,384,384,385,386,386,387,388,388,389,390,390,391,391,392,392,393,394,395,396,397,398,399,400,401,402,403,404,405,405,406,407,408,409,409,410,410,411,412,413,414,415,416,417,418,418,419,420,420,420,420,420,421,421,422,423,423,424,424,425,425,426,426,427,427,428,428,429,430,431,431,432,432,433,433,433,434,434,435,435,436,436,436,436,437,437,438,438,439,440,441,441,442,443,444,445,446,446,447,448,449,449,450,450,451,451,452,452,453,454,454,455,455,456,457,457,458,458,458,459,459,458,457,456,456,455,455,454,453,452,451,450,450,448,447,446,445,444,443,441,440,439,438,436,434,431,429,427,426,426,427,427,428,429,430,430,431,431,432,433,434,435,436,436,437,438,439,439,440,440,440,440,441,441,440,440,439,439,438,438,437,437,436,436,435,435,434,434,433,433,433,432,432,433,434,434,435,435,436,436,436,436,435,435,434,434,434,434,435,435,435,436,436,435,434,434,433,433,433,433,433,433,434,434,435,436,437,438,438,439,439,439,439,439,439,439,438,437,436,435,435,434,434,433,432,431,430,429,428,427,426,424,423,423,422,421,421,420,419,419,419,419,420,420,420,420,420,420,419,418,417,416,416,415,415,414,413,412,411,411,411,411,411,411,411,411,411,411,410,410,410,410,409,409,408,408,407,406,406,404,403,402,402,401,401,400,400,400,401,401,402,402,403,386,386,386,386,387,387,387,387,387,386,386,385,385,384,383,382,381,381,380,378,378,377,376,376,375,374,373,372,371,369,369,370,371,371,371,371,371,370,369,368,367,366,363,362,362,361,360,360,348,348,349,349,349,348,348,348,347,346,346,345,345,344,344,343,343,343,342,342,341,340,339,338,337,336,335,334,333,332,332,331,330,329,328,327,326,325,324,323,322,321,320,319,318,317,317,317,317,317,316,315,314,313,313,312,311,310,310,310,309,309,309,308,307,306,305,305,304,303,303,303,303,303,304,305,305,307,307,308,309,309,310,310,310,311,312,312,314,314,315,316,316,317,318,319,319,320,320,320,320,319,317,316,315,314,313,313,312,312,309,309,308,308,307,307,307,306,306,305,305,306,306,307,307,308,309,309,309,310,311,312,312,312,312,313,313,313,313,314,314,314,314,314,314,315,315,315,316,317,317,317,318,318,319,319,319,319,320,320,320,321,321,322,322,323,324,323,322,322,322,322,322,323,324,325,325,326,327,328,328,329,329,328,327,326,325,325,325,325,325,325,325,326,326,326,327,327,328,329,330,331,331,331,331,330,330,330,331,331,331,331,331,331,331,332,332,333,333,334,334,334,334,334,334,334,335,336,337,338,339,340,341,342,342,343,344,344,345,345,346,346,346,346,346,347,347,347,347,347,346,346,346,346,346,346,347,347,347,346,346,345,345,344,344,344,344,344,344,343,343,343,342,342,341,341,340,340,339,338,338,338,337,337,337,336,336,335,335,334,334,334,333,332,332,331,330,329,328,327,326,326,325,324,323,324,324,325,325,326,326,327,328,329,329,330,331,332,333,334,334,335,335,336,336,337,337,337,338,338,338,337,337,337,336,336,336,337,337,338,339,340,341,341,342,342,341,341,341,341,341,342,342,343,343,344,344,344,344,344,344,343,343,342,341,340,340,340,341,341,341,341,341,342,342,342,342,342,342,343,343,343,344,344,344,344,344,344,344,344,343,343,342,341,341,340,340,340,341,341,342,343,344,345,346,346,347,348,360,359,359,359,359,359,359,360,360,361,361,362,363,364,365,366,367,367,369,371,371,371,371,371,371,372,372,372,372,373,373,373,373,374,374,374,375,375,375,376,377,377,378,378,379,380,380,381,382,383,384,384,385,387,388,389,389,390,390,391,392,392,391,391,391,391,390,390,390,390,390,389,389,389,389,389,388,388,387,387,387,387,387,386,403,403,403,403,403,403,403,404,404,404,404,404,404,404,404,404,404,404,405,405,405,406,406,406,406,405,405,405,405,406,406,407,407,407,408,408,408,409,409,410,410,410,410,410,410,411,412,413,413,413,413,413,414,415,416,417,417,416,415,415,414,414,414,414,414,415,415,415,414,414,414,414,414,414,415,416,416,417,417,417,418,418,419,419,420,421,421,422,423,424,425,426,427,428,429,429,430,430,429,429,429,428,428,428,428,429,430,430,431,432,432,432,432,433,433,434,434,434,434,434,434,435,435,435,435,436,437,437,437,437,438,438,439,439,440,440,440,441,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,456,457,457,457,456,456,455,455,455,455,456,456,456,455,455,454,454,453,453,453,453,453,453,453,452,452,452,451,451,451,450,450,450,450,449,449,449,449,449,449,449,449,449,449,449,449,449